cartesian product of sets with intersection (AxB)∩(AxC)